/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package ai;

/**
 *
 * @author root
 */
public class ImplyExp extends GramExp {
    public ImplyExp(LabelExp pLeft, GramExp pRight){
        mLeft = pLeft;
        mRight = pRight;
    }
    public LabelExp getLeft(){
        return mLeft;
    }
    public GramExp getRight(){
        return mRight;
    }
    public GramExp substitute(String pLabelName, String pString){
        return this;
    }
    public String toString(){
        return mLeft + " <- " + mRight.toString();
    }
    private LabelExp mLeft;
    private GramExp mRight;

}
